The Efficacy of DO-178B
نویسنده
چکیده
DO-178B was based on the consensus of the avionic software community as it existed in 1992. Twenty two years after publication, we have no publically available experimental data as to its efficacy. It appears to work extremely well, since there have been no hull loss accidents in passenger service ascribed to software failure. This is a comforting and surprising result. However, if we don’t know why DO-178B works so well, there is a danger that we could stop doing something that really matters, which could lead to an accident.
منابع مشابه
AESSCS 2014 Programme
14:00 Rob Ashmore, The Utility and Practicality of Quantifying Software Reliability 14:15 John Rushby, Bev Littlewood, and Lorenzo Strigini, Evaluating the Assessment of Software Fault-Freeness 14:30 Discussion: Should we be following recipes or quantifying software performance? 14:55 Dewi Daniels, The Efficacy of DO-178B 15:10 Discussion: Can we assess a standard as a whole (much as system-lev...
متن کاملVerification and Validation of a Safety-Critical Steer-By-Wire System Using DO-178B
The application of DO-178B for the verification and validation of the safety-critical aspects of a steer-by-wire sub-system of a vehicle by using a spiral development model is discussed. The project was performed within a capstone design course at Kettering University. Issues including lessons learned regarding requirements, specifications, testing, verification, and validation activities as re...
متن کاملTurkiye'de DO-178B Uyumlu Yazilim Sertifikasyon Projelerinde Planlama Surecinde Yasanan Problemler
DO-178B, which is a de facto standard for developing avionics software systems, defines objectives for the entire phases of software lifecycle. Turkey’s avionic industry has shown strong growth over the last decade and as a result of this trend every day new software development companies are involved in the DO-178B compliant software development projects. The certification authorities perform ...
متن کاملAutomating Code Reviews with Simulink Code Inspector
Safety standards such as DO-178B require source code reviews. Given the maturity of today‟s code generators, the effectiveness of manual reviews of automatically generated code is rather limited. This results in a strong desire to automate reviews of automatically generated code. This paper introduces Simulink Code Inspector TM , a novel tool to automate manual code reviews of C source code gen...
متن کاملObject-Oriented Technology (OOT) In Civil Aviation Projects: Certification Concerns
Object-Oriented Technology (OOT) has been extensively utilized throughout the nonsafety rated software development community (e.g., Windows 98 and Internet software). Although the adoption of OOT has been limited in the airborne civil aviation community, OOT is being considered by an increasing number of manufacturers of airborne software. Application of RTCA DO-178B/EUROCAE ED-12B ("Software C...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1404.6804 شماره
صفحات -
تاریخ انتشار 2014